How to Create TypeScript Typings for Recursive Data Structures